- дадим доказательство
- Mathematics: we shall establish, we shall prove
Универсальный русско-английский словарь. Академик.ру. 2011.
дадим доказательство
Смотреть что такое "дадим доказательство" в других словарях:
Александр II (часть 2, I-VII) — ЧАСТЬ ВТОРАЯ. Император Александр II (1855—1881). I. Война (1855). Высочайший манифест возвестил России о кончине Императора Николая и о воцарении его преемника. В этом первом акте своего царствования молодой Государь принимал пред лицом… … Большая биографическая энциклопедия
Сура 4 АН'НИСА' ЖЕНЩИНЫ, мединская, 176 аятов — Во имя Аллаха, Милостивого, Милосердного 1. О люди, бойтесь Господа вашего, что сотворил вас из одной души, и создал из нее пару ей, и рассеял от них по Земле во множестве мужчин и женщин. Бойтесь же Аллаха, именем которого вы просите, и… … Коран. Перевод Б. Шидфар
Сура 11. Худ — 1. Алиф. Лам. Ра. Это Писание, аяты которого ясно изложены, а затем разъяснены Мудрым, Ведающим. 2. Не поклоняйтесь никому, кроме Аллаха. Воистину, я для вас предостерегающий увещеватель и добрый вестник от Него. 3. Просите прощения у вашего… … Коран. Перевод Э. Кулиева
Алгоритм проталкивания предпотока — решает задачу нахождения максимального потока в транспортной сети. Алгоритм не является частным случаем алгоритма Форда Фалкерсона. Реализованный без специальных усовершенствований, алгоритм выполняется за время . Некоторые усовершенствования ещё … Википедия
Теорема Эрроу — (также известна как «Парадокс Эрроу», англ. Arrow’s paradox) теорема о невозможности «коллективного выбора». Сформулирована американским экономистом Кеннетом Эрроу в 1951 году.[1] Смысл этой теоремы состоит в том, что в рамках… … Википедия
Суворов, Александр Васильевич — (князь Италийский, граф Рымникский) — генералиссимус Российских войск, фельдмаршал австрийской армии, великий маршал войск пьемонтских, граф Священной Римской империи, наследственный принц Сардинского королевского дома, гранд короны и кузен … Большая биографическая энциклопедия
Сура 4. Женщины — 1. (1). О люди! Бойтесь вашего Господа, который сотворил вас из одной души и сотворил из нее пару ей, а от них распространил много мужчин и женщин. И бойтесь Аллаха, которым вы друг друга упрашиваете, и родственных связей. Поистине Аллах над вами … Коран в переводе И. Ю. Крачковского
Сура 30 АР-РУМ РУМЫ, мекканская, кроме 17 и 60 аятов, 60 аятов — Во имя Аллаха, Милостивого, Милосердного 1. Алиф, лам, мим. 2. Побежден был Рум[k190] . 3. В земле румов, ближайшей к персам, но после поражения их, победу Мы им дадим 4. Через несколько лет. И поражение их, и победа по велению Аллаха, и тогда, о … Коран. Перевод Б. Шидфар
Сура 11. Худ — 1. Алиф, лам, мим. [Это] Писание, аяты которого ясно изложены и разъяснены от имени Мудрого, Ведающего, 2. чтобы вы не поклонялись никому, кроме Аллаха. [Скажи, Мухаммад]: Воистину, я для вас увещеватель и добрый вестник от Него, 3. чтобы вы… … Коран. Перевод М. Н. Османова
Сура 28. Рассказ — 1. Та Син Мим. 2. Сие айаты Книги, Что ясно разъясняет и толкует все. 3. Мы в истине тебе изложим Рассказ о Мусе и (неверном) Фараоне Для наставления уверовавших (в Бога). 4. Поистине, (неверный) Фараон В земле (Египетской) гордынею вознесся И… … Коран. Перевод В. Порохового
Машина Тьюринга — Художественное представление машины Тьюринга Машина Тьюринга (МТ) абстрактный исполнитель (абстрактная вычислительная машина). Была предложена Аланом Тьюрингом в 1936 году для формализации понятия алгоритма … Википедия
